Verification of an Authentication Protocol for M2M Communication Signal Processing

With the advancement of RFID/USN system technology, M2M (Machine-to-Machine) communication draws attention as a promising future industry. M2M communication is intended for inter-machine communication especially in a space hardly accessible to humans in such fields as disaster, safety, construction, health and welfare, weather, environment, logistics, national defense, medical care and agro-livestock industries where such systems are installed and operated long hours. In effect, machines replace men in M2M communication to the extent that programs automatically run in accordance with varying situations, e.g. giving failure alarms and taking proper actions for electronic devices and vehicles, with a view to efficiency in information control and device operation. Still, wireless M2M communication between devices could be exposed to attackers causing security vulnerabilities. Therefore, proper security measures including cross-authentication need taking to ensure relevant devices are legitimate. This paper, quite a few studies have investigated many protocols in relation to M2M security issues. Likewise, the present study attempted to solve M2M security issues by means of public keys, hash functions and XOR and suggested a secure protocol based on M2M authentication. The proposed protocol proved secure in a formal verification using Casper/FDR instead of any theorem proving method, which was used in most of previous studies.